The (sometimes rocky) road to a paper
lmao.bearblog.dev·5h·
Discuss: Hacker News
🎯Performance Proofs
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·16h
⏰Temporal Logic
The Angels and Demons of Nondeterminism
buttondown.com·6h·
Discuss: Hacker News
💻Programming languages
ML Systems: Motivating Dense Models
jacobkahn.me·22h·
Discuss: Hacker News
🧠Machine Learning
New 3D-stacked memory tech seeks to dethrone HBM in AI inference — d-Matrix claims 3DIMC will be 10x faster and 10x more efficient
tomshardware.com·10h·
Discuss: Hacker News
🖥️Hardware Architecture
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·13h·
Discuss: Hacker News
🛡️Preservation Proofs
Fort Knox for Factories: AI-Powered Watermarks for Industrial Control Code by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.com·1d·
Discuss: Hacker News, r/programming
🌊Stream Processing
Lively Linear Lisp (1992)
plover.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Algorithms that address malicious noise could result in more accurate, dependable quantum computing
phys.org·1d
🔐Quantum Security
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·16h
🎯Performance Proofs
Galactic Algorithm
en.wikipedia.org·1h·
Discuss: Hacker News
🎯Performance Proofs
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·3d
🔗Combinatory Logic
Signals and Threads – Why ML Needs a New Programming Language
signalsandthreads.com·8h·
Discuss: Lobsters, Hacker News, r/programming
🔩Systems Programming
Fractal Geometry as the Blueprint for Encryption
hackernoon.com·1d
🔐Homomorphic Encryption
Writing a C compiler in 500 lines of Python
vgel.me·1d·
Discuss: Hacker News, r/programming
🦀Rust Macros
FastCaps: A Design Methodology for Accelerating Capsule Network on Field Programmable Gate Arrays
arxiv.org·16h
🖥️Hardware Architecture
Morse sequences on stacks and flooding sequences
arxiv.org·1d
🌍Topological Codes
Row Impartial Terminus
arxiv.org·16h
🎯Interactive Provers
How to Discover the Binary System as a Child • Simon Peyton Jones & Chelsea Troy • GOTO 2025
youtube.com·3d
⚔️Lean Tactics